$\forall$$M$:MsgA, $x$:Id. Dec($x$ declared in $M$)